UML已经成为面向对象建模语言的标准.为了使UML更加精确,同时发挥形式化方法的优势,增加形式化方法在软件开发中的实际作用,研究人......

该文着重研究由COOZ设计规约到可执行代码的转换技术,目标是集各家所长,在分析COOZ规约的基础上提出合适的技术,并开发出现COOZ规......

为面向对象的模型建立坚实的形式化基础是近年形式化研究的热点.一旦提供了对面向对象模型概念的精确描述后,就可以对OO模型的行为......

为面向对象的模型建立坚实的形式化基础是近形式化研究的热点，一旦提供了对面向对象模型概念的精确描述后，就可以对ＯＯ模型的行为和结构......

<正>形式化规格说明为我们提供一个简洁、精确且能被很好理解的系统描述。但我们还需要从规格说明得到其合适的代码实现,这一开发......

本文在ＣＯＯＺ中引入了连续时间的概念，建立了用连续时间表示的对象时钟引入时段演算来表示对象的实时约束和历史约束，并给出了一个火警自动......

为了使Ｚ规格说明与面向对象开发方法相结合。本文在Ｚ中扩充了对象类型和模拟描述机制，使之成为面向对象的形式化规格说明语言ＣＯＯＺ（ｃｏｍｐｌｅｔｅ ｏｂｊｅｃｔ－ｏｒｉｅｎｔｅｄＺ）．内容包......

为UML建模元素提供坚实的形式化语义基础是目前的研究热点之一，在这方面也有了不少探索。文章在过去的研究的基础上，给出了UML模型到......

在[1]、[2]文中有这样一道平几题: 设点P为锐角三角形ABC内任意一点,过P点作三条边的垂线,设垂足分别为D、E、F,求证:S_△PEF≤(1......

介绍支持面向对象的形式描述语言ＣＯＯＺ的集成支撑环境ＣＯＯＺ－Ｔｏｏｌｓ的设计原则、系统结构、功能、特点和关键的实现技术。ＣＯＯＺ是Ｚ语言的面向对象扩充，从而将......

本文介绍了一种基于形式化规格说明语言ＣＯＯＺ的面向对象设计方法并给出实例。...